包含约束极值问题的二阶最优性条件

定义了函数f的二阶逼近;给出了当f和集值函数F的支撑函数的和函数在(x-,0)处具有紧二阶逼近时,f在约束0F(x)下取得最小值的二阶充分条件和必要条件.     

毛细管气相色谱指纹图谱在广藿香质量控制中的应用

用毛细管气相色谱研究不同栽培品种广藿香挥发油的指纹图谱,用相对保留值和相对峰面积2个参数以及指纹图谱八强峰和指纹图谱分区2种方法加以分析.结果表明不同栽培品种广藿香的指纹图谱既有一定相似性,也有一定差异性.相似性表现为:指纹图谱各区出峰稳定,峰数一致,有5个共有峰在12个样品中均进入指纹图谱八强峰,参考峰均为指纹图谱八强峰中的最强峰.差异性则表现为:各区特征峰的峰形、相对峰面积值亦有不同,19和20号峰是湛江广藿香特有的指纹图谱八强峰,而14和17号峰却为石牌广藿香特有的指纹图谱八强峰.指纹图谱分区比较与指纹图谱八强峰的结论相一致.     

来自多尺度分析的R iesz基

不采用正交化方法,给出了来自多尺度分析的R iesz小波基的具体形式以及小波基母函数ψ(x)与尺度函数φ(x)的关系.建立了基于这种R iesz基的分解与重构算法.     

不确定离散脉冲系统的保成本控制研究

许多实际系统都可归结为基于脉冲差分方程数学模型所描述的离散脉冲系统,针对此类离散脉冲系统,考虑一类范数有界时变参数不确定性和一个二次型性能指标,研究了其保成本状态反馈控制问题.首先根据李亚普诺夫稳定性理论与鲁棒控制的基本原理,给出了存在保成本控制器的一个充分条件,然后依据范数有界性参数不确定性已有的结论证明了该条件等价于一个线性矩阵不等式的可解性问题,并用这组线性矩阵不等式的可行解给出了保成本控制律的一个参数化表示.     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

基于非均匀B样条曲面的DTM内插模型

对非均匀B样条曲面在数字地面模型(DTM)内插中的应用进行了研究,首先探讨了非均匀B样条曲面基本理论及其最小二乘解法,然后提出了基于非均匀B样条曲面的DTM内插算法,最后利用提出的B样条算法与目前一些常用的内插算法,对数学曲面与实际地形进行了试验和比较.试验结果表明B样条算法具有良好的精度和稳定性,能较好地改善在构建DTM时常出现的“梯田”现象.     

基于伪码测距的弹射试验测试系统

提出了一套基于伪码测距的弹射试验测试系统设计方案.将GPS定位和精密授时与伪码测距相结合用于弹射试验的测试,在保证测试精度前提下,提高了数据更新率,适应了弹射试验高动态测试的要求.机载测站与地面多个基站构成测试数据链路,采用伪码测距获取原始数据,测试系统的时标和空间参考坐标由基站的GPS模块进行自动标定.事后解算处理获得定位数据.测距定位的精度受测试系统几何布局的影响,详细分析了在伪码测距误差既定的情况下,测试基站的布局对测试定位精度的影响,对测场范围内的测量误差分布进行了仿真计算,并根据误差分布给出了合理的测试基站布局.     

p-Si TFT的电场增强MILC制备技术

采用电场增强金属诱导侧向晶化方法获得了结晶良好的多晶硅薄膜,并采用该工艺制备了p沟道薄膜晶体管器件,其迁移率为65cm2/(V·s),开关态电流比为5×106.采用拉曼光谱分析、X射线衍射、扫描电镜等微观分析手段对多晶硅薄膜进行了分析,结果表明加电场于两电极之间有促进多晶硅薄膜晶化的作用.采用EFE-MILC技术获得了大的晶粒尺寸,并用此技术制备了p沟多晶硅TFT.表明EFE-MILC技术是在低温下获得大晶粒尺寸p-Si薄膜和高性能p-SiTFT的好方法.     

机载红外热像探潜技术

分析了潜艇热尾流形成的原因和浮升的规律，论述了机载红外热成像系统的组成、工作原理与工作方式．对红外热成像系统在探潜中的信噪比进行了计算，还进行了潜艇模型热尾流的红外探测试验研究．理论计算和试验分析表明，具有高灵敏度的机载红外成像系统可以在一定的距离上探测到潜艇热尾流的存在，所以该方法可用于反潜探测．     

STL模型布尔运算的实现

首先建立STL模型的拓扑结构从而获得三角面片间的相邻关系．通过两个实体间的棱面相交性测试获得交点和交线，进而提取交线环．利用约束Delaunay方法对相交的三角形进行二次三角形划分，将相交表面沿交线环剖分为多个面域，利用射线法判断各个面域相对于另一实体的位置关系．通过提取相交环来决定有效的相交线降低了位置关系判断的复杂性，提高了布尔运算的稳定性．